Free shipping on all orders! No minimum purchase required.
Theorem Proving in Higher Order Logics
by Joe Hurd (Editor), Tom Melham (Editor)
Correct Hardware Design and Verification Methods
by Tiziana Margaria (Editor), Tom Melham (Editor)
